%\begin{frame}
%\frametitle{CTL Tree}
%\begin{center}
%\begin{tikzpicture}[every tree node/.style={draw,circle ,align=center,font=\tiny},
%   level distance=2cm,sibling distance=.5cm, 
%   edge from parent path={(\tikzparentnode) -- (\tikzchildnode)}]
%\Tree [.\node[red] {B:N \\ L:OFF}; 
%    	[.{B:L \\ L:ON }
%    	  [.{B:L\\ L:ON}  
%    	   	[.\node[draw=none,align=center,font=\bfseries\tiny]{\dots}; ] 	 
%    	  ] 
%    	  [.{B:N \\ L:ON} 
%			[.{B:N \\ L:OFF} ] 	  
%    	  ]
%    	]
%    	[.{B:N\\ L:OFF }
%    	  [.{B:L\\ L:ON } 
%    	   	[.\node[draw=none,align=center,font=\bfseries\tiny]{\dots}; ] 
%    	  ] [.{B:N \\ L:OFF} 
%    	   	[.\node[draw=none,align=center,font=\bfseries\tiny]{\dots}; ] 
%    	  ] [.{B:R \\ L:ON} 
%    	   	[.\node[draw=none,align=center,font=\bfseries\tiny]{\dots}; ] 
%    	  ]
%	    ]
%		[.{B:R\\ L:ON}
%    	  [.{B:N\\ L:ON} 
%    	  	[.{B:N \\ L:OFF} ] 
%    	  ] 
%    	  [.{B:R \\ L:ON} 
%    	   	[.\node[draw=none,align=center,font=\bfseries\tiny]{\dots}; ] 
%    	  ]
%	    ]
%    ]
%\end{tikzpicture}
%\end{center}
%\end{frame}